f786e426a8913935e2104f4a70dee26175397159,src/main/java/org/basex/query/func/FNDb.java,FNDb,delete,#QueryContext#,338
Before Change
* @throws QueryException query exception
*/
private Item delete(final QueryContext ctx) throws QueryException {
final Data data = ctx.resource.data(checkStr(expr[0], ctx), input);
final String path = string(checkStr(expr[1], ctx));
final int[] docs = data.doc(path);
After Change
* @throws QueryException query exception
*/
private Item delete(final QueryContext ctx) throws QueryException {
final String path = path(string(checkStr(expr[0], ctx)));
// the first step of the path should be the database name
final int pos = path.indexOf('/');
if(pos <= 0) NODB.thrw(input, path);
final byte[] db = token(path.substring(0, pos));
final Data data = ctx.resource.data(db, input);
final String trg = path.substring(pos + 1);
final int[] docs = data.doc(trg);
for(final int pre : docs)